منابع مشابه
Formal Specification for Transportation Cyber Physical Systems
Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...
متن کاملSpecification of Cyber Physical Systems by Clock
With the rapid development of technology, now a brand new research area–Cyber Physical Systems (CPS) emerges. CPS are integrations of computing, communication and control systems, and it integrates with the physical world closely. Though it has influenced common life a lot, many problems still need to be solved when using the existing theories and technologies. Among the difficulties, the descr...
متن کاملSpecification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS)
Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today’s computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective met...
متن کاملMITL Specification Debugging for Monitoring of Cyber-Physical Systems
A framework for the debugging of formal specifications for Cyber-Physical Systems is presented. Two debugging algorithms are presented. The first checks for erroneous or incomplete temporal logic specifications without considering the system. The second can be utilized for the analysis of reactive requirements with respect to system test traces. The specification debugging framework is applied ...
متن کاملSpecification of Cyber Physical Systems Based on Clock Theory
Cyber Physical Systems are integrations of computing, communication and control systems, and CPS make it possible to link the physical world and discrete world much more tightly and accurately. Though the appearance of CPS has triggered a great revolution to the electronic, information and internet technology, many problems still need to be solved when using the existing theories and technologi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Cyber-Physical Systems
سال: 2018
ISSN: 2378-962X,2378-9638
DOI: 10.1145/3170500